翻訳と辞書 Words near each other ・ Göbelli, Feke ・ Göbelnrod ・ Göbelnrod station ・ Göbl ・ Göbü, Zonguldak ・ Göbəktala ・ Göcek ・ Göcek, Fethiye ・ Göcekler ・ Göcen, Kastamonu ・ Göcen, Çay ・ Göcklingen ・ Göcsej ・ Göd ・ Göda ・ Gödel (programming language) ・ Gödel logic ・ Gödel machine ・ Gödel metric ・ Gödel numbering ・ Gödel numbering for sequences ・ Gödel operation ・ Gödel Prize ・ Gödel's completeness theorem ・ Gödel's incompleteness theorems ・ Gödel's ontological proof ・ Gödel's proof ・ Gödel's speed-up theorem ・ Gödel's theorem ・ Gödel's β function Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Gödel (programming language) ： ウィキペディア英語版 Gödel (programming language) Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel. ==Features== Gödel has a module system, and it supports arbitrary precision integers, arbitrary precision rationals, and also floating-point numbers. It can solve constraints over finite domains of integers and also linear rational constraints. It supports processing of finite sets. It also has a flexible computation rule and a pruning operator which generalises the commit of the concurrent logic programming languages. Gödel's meta-logical facilities provide support for meta-programs that do analysis, transformation, compilation, verification, and debugging, among other tasks. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Gödel (programming language)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.